1981. Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1145

1982. Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
3672

1983. Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
2477

1984. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
2126

1985. Static analysis : 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1302

1986. Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1503

1987. Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1824

1988. Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(,Congresses ، System analysis

رده :
QA
76
.
L28
Vol
.
1694

1989. Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
3148

1990. Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
2694

1991. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
I5733
2004

1992. Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
724

1993. Statistics is easy

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Nonparametric statistics,Resampling (Statistics)

رده :
E-BOOK

1994. Strategic and large scale government IT projects management :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : QA76 Electronic computers. Computer science. Computer software ; HD28 Management. Industrial Management

1995. Structural information and communication complexity :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.

رده :
QA76
.
9
.
A43

1996. Structure and interpretation of computer programs

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Electronic digital computers-- Programming,، LISP )Computer program language(

رده :
QA
76
.
6
.
A255
1985

1997. Structure and interpretation of computer programs /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming.,LISP (Computer program language),Computers.,LISP (Langage de programmation),Programmation (Informatique),Computer programming.,Computer programming.,LISP,LISP (Computer program language),LISP (langage de programmation),LISP.,Ordinateurs-- Programmation.,Programmeren (computers),Programmierung

رده :
QA76
.
6
.
A255
1985

1998. Structure and interpretation of computer programs

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Electronic digital computers -- Programming,، LISP )Computer program language(

رده :
QA
76
.
6
.
A25
1985

1999. Structured computer organization

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Electronic digital computers - Programming,Computer organization

رده :
QA76
.
6
.
T38
1976

2000. Structures and abstractions : an introduction to computer science with Turbo Pascal )5.0/5.5/6.0/TPW(

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Pascal )Computer program language(,، Electronic digital computers -- Programming,، Turbo Pascal )Computer file(

رده :
QA
76
.
73
.
P2
S253
1991